$\forall$$T$:Type, ${\it eq}$:EqDecider($T$), ${\it as}$, ${\it bs}$:$T$ List, $x$:$T$.
\\[0ex]($x$ $\in$ l{-}union(${\it eq}$;${\it as}$;${\it bs}$)) $\Leftrightarrow$ ($x$ $\in$ ${\it as}$) $\vee$ ($x$ $\in$ ${\it bs}$)